symbolic logic

[sɪmˈbɔlɪk ˈlɔdʒik]
  • 释义
  • 数理逻辑,逻辑符号;

  • 双语例句
  • 1、

    George Boole was an English mathematician who helped establish the field of mathematics called symbolic logic.

    乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家.

    互联网
  • 2、

    Of or relating to symbolic logic.

    熟练于逻辑符号的人.

    互联网
  • 3、

    Metamathematics is a subject on symbolic logic, which focuses on the mathematics discrepancy.

    元数学是一门数理逻辑方面的学科, 其主要研究对象是数学本身的矛盾性问题.

    互联网